Program analysis - PDFSEARCH.IO - Document Search Engine

Program analysis
Results: 6751

#	Item
401	INTEGRATING CLIMATE CHANGE ADAPTATION INTO SECURE LIVELIHOODS TOOLKIT 2: Developing a climate change analysis Add to Reading List Source URL: programme.christianaid.org.uk Language: English - Date: 2016-03-29 10:05:14 Climate change Global warming Climate history Adaptation to global warming Climatology General circulation model Effects of global warming Climate Change Science Program
402	Microsoft PowerPoint - DenimGroup_StaticAnalysisTechniquesForTestingApplicationSecurity_Content.pptx Add to Reading List Source URL: denimgroup.com Language: English - Date: 2014-01-13 18:18:27 Software testing Computer security Program analysis Static Application security FxCop FindBugs Worst-case execution time
403	2015 Occupant Protection Standing Review Panel Research Plan Review for: The Risk of Injury from Dynamic Loads Final Report I. Add to Reading List Source URL: humanresearchroadmap.nasa.gov Language: English Human Research Program Human spaceflight Risk analysis
404	Privacy and Security Threat Analysis of the Federal Employee Personal Identity Verification (PIV) Program Paul A. Karger IBM Research Division, Thomas J. Watson Research Center PO Box 704, Yorktown Heights, NY 10598, USA Add to Reading List Source URL: cups.cs.cmu.edu Language: English - Date: 2006-05-26 07:57:52 Ubiquitous computing ISO standards Smart cards Access control Computer access control Contactless smart card FIPS 201 Card reader Biometric passport Proximity card Radio-frequency identification ISO/IEC 14443
405	Lecture 10: Processing Instructions William Gropp www.cs.illinois.edu/~wgropp More on the CPU Add to Reading List Source URL: wgropp.cs.illinois.edu Language: English - Date: 2015-01-15 10:22:16 Procedural programming languages Data types Compiler construction C++ Aliasing Program analysis Fortran Pointer Array data type ALGOL 68 C++ classes Infinite loop
406	Innovative Automatic Grid Generating System for High-lift System of Aircraft program to improve the efﬁciency of CFD work, to streamline the analysis cycle, and to promote sharing of grid generation know-how. JAXA ente Add to Reading List Source URL: www.pointwise.com Language: English - Date: 2016-01-29 10:11:49 Computational fluid dynamics JAXA Mesh generation Lift
407	Binary Analysis for Measurement and Attribution of Program Performance Nathan R. Tallent John M. Mellor-Crummey Add to Reading List Source URL: www.hpctoolkit.org Language: English - Date: 2010-07-24 17:31:57 Subroutines Call stack Stack Pointer Optimizing compiler Tail call Inline expansion Profiling Function prologue Fortran Call graph C dynamic memory allocation
408	THE FLORIDA SENATE Tallahassee, FloridaCOMMITTEES: Commerce and Tourism, Vice Chair Environmental Preservation and Add to Reading List Source URL: www.palmbeachcountyethics.com Language: English - Date: 2013-04-11 15:44:00 Florida Legislature Government of Florida Florida Republicans Joseph Abruzzo Florida Senate Don Gaetz Office of Program Policy Analysis and Government Accountability
409	How invariants help writing loops Author: Sander Kooijmans Document version: 1.2 Why this document? Did you ever feel frustrated because of a nasty bug in your code? Did Add to Reading List Source URL: gogognome.nl Language: English - Date: 2016-07-04 14:55:09 Sorting algorithms Formal methods Theoretical computer science Edsger W. Dijkstra Hoare logic Static program analysis Dutch national flag problem Algorithm Quicksort Recursion Invariant Loop invariant
410	Reach Address Database (RAD) Seamless, rapid integration of water-related program data What is it? The Reach Address Database (RAD) is a national spatial database which serves as the hub for the Add to Reading List Source URL: horizon-systems.com Language: English - Date: 2009-01-05 16:51:26 GIS software Geographic information system Spatial analysis Spatial database Oracle Spatial and Graph RAD Database

UPDATE